منابع مشابه
Avant-propos.
Kantorovitch's theorem gives su cient conditions for the convergence of Newton's method. We presenta full formalization of this theorem in the case of a real function. The work is accomplished inside the Coqproof assistant and it is based on the Reals library provided by the theorem prover. For the general case ofthe theorem we rst describe a way to represent concepts from multivari...
متن کاملA propos des compétitions de programmes de jeu de Go
Le jeu de Go est un ancien jeu chinois. Il est très populaire en Corée, au Japon et en Chine. Les générations successives de joueurs de Go ont accumulé une expérience énorme du jeu tout au long de son histoire. Pour donner une idée de la somme des connaissances sur ce jeu, on peut citer les historiens chinois qui écrivent souvent que c'est Yao, un empereur semi-mythique du 23 siècle avant J.-C....
متن کاملDaniel Forgues, École de Technologie Supérieure
Purpose This paper aims to study the influence of procurement on the performance of integrated design teams. Design/methodology/approach The research paradigm is based on Russian socio-constructivist approach to activity theory. Activity theory, as opposed to natural or social science, is a design science approach that focuses on the context aspect of project. A triangulation of qualitative res...
متن کاملA propos d’une observation de tumeur glomique de l’index
Pan African Medical Journal. 2017; 26:155 doi:10.11604/pamj.2017.26.155.11899 This article is available online at: http://www.panafrican-med-journal.com/content/article/26/155/full/ © Hicham Bousbaa et al. The Pan African Medical Journal ISSN 1937-8688. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revue Internationale de la Croix-Rouge
سال: 1998
ISSN: 0035-3361
DOI: 10.1017/s0035336100055982